complex number inequality prrofs